Tolerance numbers, congruence $n$-permutability and BCK-algebras
نویسندگان
چکیده
منابع مشابه
Equations implying congruence n-permutability and semidistributivity
T. Dent, K. Kearnes and Á. Szendrei have defined the derivative, Σ′, of a set of equations Σ and shown, for idempotent Σ, that Σ implies congruence modularity if Σ′ is inconsistent (Σ′ |= x ≈ y). In this paper we investigate other types of derivatives that give similar results for congruence n-permutability for some n, and for congruence semidistributivity.
متن کاملNOTES ON CONGRUENCE n-PERMUTABILITY AND SEMIDISTRIBUTIVITY
In [1] T. Dent, K. Kearnes and Á. Szendrei define the derivative, Σ′, of a set of equations Σ and show, for idempotent Σ, that Σ implies congruence modularity if Σ′ is inconsistent (Σ′ |= x ≈ y). In this paper we investigate other types of derivatives that give similar results for congruence n-permutable for some n, and for congruence semidistributivity. In a recent paper [1] T. Dent, K. Kearne...
متن کاملNeutrosophic Commutative N -Ideals in BCK-Algebras
Seok-Zun Song 1,* ID , Florentin Smarandache 2 and Young Bae Jun 3 1 Department of Mathematics, Jeju National University, Jeju 63243, Korea 2 Department of Mathematics & Science, University of New Mexico, 705 Gurley Ave., Gallup, NM 87301, USA; [email protected] 3 Department of Mathematics Education, Gyeongsang National University, Jinju 52828, Korea; [email protected] * Correspondence: sz...
متن کاملOn Heyting algebras and dual BCK-algebras
A Heyting algebra is a distributive lattice with implication and a dual $BCK$-algebra is an algebraic system having as models logical systems equipped with implication. The aim of this paper is to investigate the relation of Heyting algebras between dual $BCK$-algebras. We define notions of $i$-invariant and $m$-invariant on dual $BCK$-semilattices and prove that a Heyting semilattice is equiva...
متن کاملNegation and BCK-algebras
In this paper we consider twelve classical laws of negation and study their relations in the context of BCKalgebras. A classification of the laws of negation is established and some characterizations are obtained. For example, using the concept of translation we obtain some characterizations of Hilbert algebras and commutative BCK-algebras with minimum. As a consequence we obtain a theorem rela...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 1992
ISSN: 0011-4642,1572-9141
DOI: 10.21136/cmj.1992.128368